PossibleEvent(poss) == es:ES  (:E  (poss(es))) 

latex

---

clarification:

possible-event{i:l}(poss) == es:ES{i}  (:es-E(es)  (poss(es))) 

latex

Definitions	ES, x:A  B(x), E, f(a)
FDL editor aliases	possible-event